|
P
packages, 108, 112
parallel, 32
parameter, 74, 213, 292, 299, 317, 376, 378, 389, 396, 399, 401
parse tree, 133, 134
parser, 132, 134, 136, 138, 142, 143, 146
parser-generator, 138, 142
parsing, 15, 34, 61, 103, 132, 134, 135, 136, 138, 142, 149, 292, 370
partial application, 72, 160, 205
partial function, 25, 26, 131, 182
passive variables, 380, 381
pathname, 30, 31
pattern-directed, 12, 43
pattern-matching, 11, 43, 53, 66, 85, 112, 174, 178, 193, 261, 431
Patterns Rule, 428, 430, 435
Paulson, 18, 494
PC atom, 217
Peirce, 494
Plaisted, 32, 489, 494
PLANNER, 141, 490
Plato, 199
polyadic, 24, 36, 64, 66, 85, 100, 109, 111, 112, 125, 202, 205, 461
polymorphic, 206, 207, 208, 210, 213, 248, 425
polytype, 206, 207, 213
pop, 195, 225
possible worlds, 288
postfix, 21
powerset, 56, 57, 59, 74, 212, 423, 431
predicate, 221, 222, 346
prefix, 21, 22, 66, 67, 109, 172, 173, 174
premises, 234, 238, 369
prime, 41, 42, 43, 45, 46, 47, 57, 58, 126
primitive data structure, 432
primitive functions, 16, 36, 62, 110, 123, 127, 171, 172, 482
primitive object, 412, 433
primitive rule, 423, 427, 430
print function, 96, 97
print vector, 96, 97, 383
priority rewrite, 27, 32
procedural, 1, 2, 3, 9, 10, 12, 18, 38, 77, 168, 213
product, 10, 11, 55, 74, 197, 202, 206, 207
programs as data, 61
Prolog, viii, ix, xii, xiii, 1, 15, 18, 35, 139, 141, 163, 215, 230, 255, 265, 336, 345, 346, 349, 353, 355, 356, 357, 358, 359, 360, 361, 362, 364, 367, 368, 369, 370, 374, 377, 379, 383, 384, 385, 387, 388, 389, 392, 394, 395, 396, 397, 400, 403, 404, 405, 406, 407, 408, 409, 438, 449, 451, 457, 460, 466, 468, 477, 481, 487, 495, 497
proof, 11, 14, 15, 46, 134, 135, 136, 158, 160, 162, 215, 216, 217, 219, 220, 221, 223, 224, 225, 226, 227, 228, 229, 230, 237, 246, 251, 252, 254, 255, 257, 258, 261, 262, 263, 268, 269, 270, 271, 272, 273, 274, 281, 282, 305, 346, 347, 348, 349, 352, 354, 367, 375, 379, 411, 418, 419, 420, 423, 424, 425, 427, 428, 429, 430, 431, 432, 433, 434, 436, 437, 438, 439, 441, 442, 445, 446, 447, 448, 449, 450, 456
proof by cases, 219
proof obligation, 224, 225, 226, 251, 261, 349, 354, 446, 449, 450
proof theory, 305
proof tree, 224, 225, 227, 228, 229, 437
property lists, 94
Proplog, 225, 226, 227, 228, 229, 238, 240, 346, 347, 349, 355, 368
propositional calculus, 217, 221, 305
propositional form, 221
purely functional languages, 84
push, 225
Python, 13, 39, 53, 61, 71, 333,
336, 478, 479, 480, 482, 483
|
|
